Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Hal Lyon 1 (University Claude Bernard Lyon 1) Filter by : Author

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

The True Concurrency of Herbrand’s Theorem

Authors : Alcolei, Aurore; Clairambault, Pierre; Hyland, Martin ...

Subjects: Herbrand's theorem; Game semantics; True concurrencyBirmingham; United Kingdom

Source: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)https://hal.science/hal-0188696827th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham,

Read More Add to Saved list

Dissertation/ Thesis

Enriched concurrent games : witnesses for proofs and resource analysis ; Jeux concurrents enrichis : témoins pour les preuves et les ressources

Authors : Alcolei, Aurore;

Subjects: Game semantics; Denotational semantics; Herbrand Theorem

Source: https://theses.hal.science/tel-02448974 ; Logic in Computer Science [cs.LO]. Université de Lyon; University of Cambridge, 2019. English. ⟨NNT : 2019LYSEN054⟩.

Read More Add to Saved list